Railway line capacity consumption of different railway signalling systems under scheduled and disturbed conditions

Railway Capacity and Timetable Complexity

An Assessment of Railway Capacity

In this paper, we review the main concepts and methods to perform capacity analyses, and we present an automated tool that is able to perform several capacity analyses. Capacity is extremely dependent on infrastructure, traffic, and operating parameters. Therefore, an in-depth study of the main factors that influence railway capacity is performed on several Spanish railway infrastructures. The ...

Automated Verification of Signalling Principles in Railway Interlocking Systems

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

Computation and evaluation of scheduled waiting time for railway networks

Timetables are affected by scheduled waiting time (SWT), which prolongs the travel times for trains and thereby passengers. SWT occurs when a train prevents another train from running at the necessary speed. The SWT affects both the trains and the passengers in the trains. The passengers may be further affected due to longer transfer times to other trains. SWT can be estimated analytically for ...

Formal Modelling of Railway Safety and Capacity

Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Spe...